Binary constraint - PDFSEARCH.IO - Document Search Engine

Binary constraint
Results: 20

#	Item
11	Ann Oper Res[removed]: 179–207 DOI[removed]s10479[removed]y The weighted G RAMMAR constraint George Katsirelos · Nina Narodytska · Toby Walsh Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-06-15 22:02:35 Computing Local consistency Constraint satisfaction problem Binary decision diagram Constraint satisfaction Constraint programming Software engineering Computer programming
12	Journal of Artificial Intelligence Research[removed] Submitted 08/09; published[removed]Interactive Cost Configuration Over Decision Diagrams Henrik Reif Andersen Add to Reading List Source URL: www.jair.org Language: English - Date: 2010-02-27 15:21:10 Diagrams Theoretical computer science Binary decision diagram Model checking Directed acyclic graph Constraint satisfaction problem Static single assignment form Optimization problem Applied mathematics Boolean algebra Constraint programming Mathematics
13	Binary vs. Non-Binary Constraints Fahiem Bacchus Department of Computer Science University of Toronto Toronto, Canada [removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-01-21 00:43:15 Computer programming Constraint satisfaction problem Local consistency Hidden transformation Constraint satisfaction Constraint graph Boolean satisfiability problem Hidden variable Backtracking Constraint programming Software engineering Theoretical computer science
14	Bi-Decomposition of Multi-Valued Relations Alan Mishchenko α α Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-05-09 04:01:38 Constraint programming Decomposition method Model theory Boolean algebra Function Canonical form Multivalued function Interpretation Binary decision diagram Mathematics Mathematical logic Functions and mappings
15	BARF: A multiplatform open source Binary Analysis and Reverse engineering Framework Christian Heitman and Iv´an Arce Fundaci´ on Sadosky, {cnheitman,iarce}@fundacionsadosky.org.ar Add to Reading List Source URL: www.fundacionsadosky.org.ar Language: English - Date: 2014-10-23 11:23:52 Assembly languages Constraint programming Electronic design automation Satisfiability Modulo Theories X86 MOV High Level Assembly X86 assembly language Computer architecture Theoretical computer science Computing
16	A constraint-programming approach to parsing with resource-sensitive categorial grammar Katrin Erk & Geert-Jan M. Kruijff Add to Reading List Source URL: www.cs.haifa.ac.il Language: English - Date: 2002-06-05 02:33:35 Formal grammar B-tree Parsing T-tree Computing Data management Computer programming Binary trees Knowledge representation Tree
17	B-Cubing: New Possibilities for Efficient SAT-Solving Domagoj Babi´c, Student Member, IEEE, Jesse Bingham, Student Member, IEEE, and Add to Reading List Source URL: www.domagoj-babic.com Language: English - Date: 2008-08-13 18:39:15 Applied mathematics Formal methods Automated theorem proving Constraint programming DPLL algorithm Tree Symbol Binary search tree Boolean satisfiability problem Theoretical computer science Mathematics Binary trees
18	Binary vs. Non-Binary Constraints Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-05-15 12:40:52 Computer programming Constraint satisfaction problem Local consistency Hidden transformation Constraint satisfaction Constraint graph Boolean satisfiability problem Hidden variable Backtracking Constraint programming Software engineering Theoretical computer science
19	PDF Document Add to Reading List Source URL: liawww.epfl.ch Language: English - Date: 2011-01-18 06:56:43 Distributed constraint optimization Artificial intelligence Constraint optimization Applied mathematics Constraint satisfaction Constraint graph Binary constraint Constraint programming Mathematical optimization Computing
20	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2002-05-21 19:37:38 Computing Mathematics Constraint programming Network theory Theoretical computer science Binary tree Garbage collection Memory management Bridge

UPDATE